Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 50 of 111 (0.002 secs)
You searched for: subject:"turing"
[1] 2 3     Next    Last
[texts]Robust, Mobile Archetypes - Ann Pogue
Robust, Mobile ArchetypesAnn PogueAbstractThe development of the memory bus has improved write-ahead logging, and current trends suggest that the refinement of spreadsheets will soon emerge. In fact, few mathematicians would disagree with the evaluation of voice-over-IP. In this paper, we disconfirm that though rasterization [1] can be made concurrent, introspective, and atomic, the little-known autonomous algorithm for the emulation of A* search by J...
Keywords: Turing
Downloads: 11
[texts]Improvement Of Architecture - Jerome A. Varga
Improvement of ArchitectureJerome A. VargaAbstractUnified certifiable theory have led to many typical advances, including the Turing machine and web browsers. Given the current status of large-scale epistemologies, system administrators compellingly desire the understanding of redundancy. In this paper we construct new large-scale symmetries (ALMEH), which we use to validate that thin clients and the World Wide Web can connect to accomplish this objective. 
Keywords: Turing
Downloads: 12
[texts]Introduction to Programming in Turing (First Edition - Second Printing) - Holt Software Associates
"Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a descendant of Euclid, Pascal and SP/k that features a clean syntax and precise machine-independent semantics."Author: J. N. P. HumeISBN: 0-921598-42-4Website: holtsoft.comThis copy from http://compsci.ca/holtsoft/
Keywords: turing; holtsoft
Downloads: 4
[audio]IUMA: turing test
Melancholy melodies that impel the listener to wander an internal landscape, sometimes aimlessly, sometimes with conviction are at the core of the songs turing test is currently recording. The lyrics go far beyond the predictable 'boy meets girl, boy loses girl' genre. Some are allegories, examining fractionalization and rapid change, others explore compulsive obsession, the consequences of infidelity, and complexity...
Keywords: turing test
Downloads: 3
[texts]Object Oriented Turing Reference Manual Seventh Edition Version 1.0 - Holt Software Associates
"Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a descendant of Euclid, Pascal and SP/k that features a clean syntax and precise machine-independent semantics."Authors: R. C. Holt with Tom WestISBN: 0-921598-35-1Website: holtsoft.comThis copy from http://compsci.ca/holtsoft/
Keywords: turing; holtsoft
Downloads: 38
[texts]Synthesizing Voice Over IP - Jerome A. Varga
Synthesizing Voice-over-IP Using Mobile Information
Keywords: IPv7; Bayesian; Turing
Downloads: 22
[audio]Episode 24: 'uge 'umorless 'umans - Stuff Smart People Like
In honor of the 100 year anniversary of Alan Turing's birth, the gents discuss artificial intelligence, video games, and dystopian futures. Jordan elects to leave the main topic to the experts in favor of playing softball with a group of aging men.
Keywords: podcast; gaming; alan turing
Downloads: 805
[texts]Máquinas De Turing. - Lisardo San Bruno de la Cruz .
La concepción funcionalista de Turing como modelo psico-semántico en la época `realista dura´putnamiana .
Keywords: Funcionalismo; Turing; Putnam
Downloads: 11
[audio]Alan Turing -- Groks Science Show 2006-03-29 - Charles Lee and Frank Ling
Alan Turing was a prominent figure in the development of the computer, and is well known for many important computing concepts, including the famous Turing Test. On this program Prof. David Leavitt discussed the life of Alan Turing.
Keywords: science; computers; Turing
Downloads: 5,771
[texts]Conducta Conputacional - Lisardo San Bruno de la Cruz.
Exégesis putnamiana sobre la conducta computacional de las máquinas del genial y digno de nuestra eterna gratitud por su vida y obra Alan Turing ( que `dios y/o el futuro del computacionalismo cuántico le guarde en su seno o en sus matrices no-conmutativas ).
Keywords: Máquinas de Turing; Putnam; funcionalismo
Downloads: 14
[audio]The Annotated Turing: A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine
Charles Petzold explores Alan Turing's ideas on computing during a lecture at the University of Toronto on March 9, 2009.
Keywords: computers; computing history; alan turing
Downloads: 259
[texts]mit :: ai :: aim :: AIM-033
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-033
Keywords: turing; symbol; sequence; instruction; scanning; theorem; symbols; machine; string; tag; turing machine; scanning agent; universal turing; deletion number
Downloads: 24
[texts]Resolution Machinery - Ramón Casares
The value of syntax is controversial: some see syntax as defining us as species, while for others it just facilitates communication. To assess syntax we investigate its relation to problem resolving. First we define a problem theory from first principles, and then we translate the theory concepts to mathematics, obtaining the requirements that every resolution machine has to implement. Such a resolution machine will be able to execute any possible resolution, that is, any possible way of taking ...
Keywords: syntax; problem; resolution; Turing; syntax evolution
Downloads: 27
[texts]BSTJ 41: 3. May 1962: On Non-Computable Functions. (Rado, T.)
Bell System Technical Journal, 41: 3. May 1962 pp 877-884. On Non-Computable Functions. (Rado, T.)
Keywords: turing; computable; entries; valid; score; entry; machine; binary; binary turing; functions; bell system; valid entry; turing machine; computable function; turing machines; busy beaver; finite set; system technical
Downloads: 31
[texts]Máquinas De Turing. - Lisardo San Bruno de la Cruz .
 La obra de A. Turing analizada por H. Putnam desde el intradós teórico de su programa funcionalista en el M.I.T. ( J. Fodor fue su co-creador ).
Keywords: máqinas de Turing; funcionalismo; Putnam; Fodor
Downloads: 8
[texts]Simulation of arithmetic and Boolean functions on Turing machines - Chelikowsky, Richard Dale.
This volume was digitized and made accessible online due to deterioration of the original print copy.
Keywords: Turing machines; Algebraic functions--Computer programs
Downloads: 21
[audio]Music Free Static Episode 81 - Randall Smith
    ______________________________      MUSIC FREE STATIC EPISODE 81     ______________________________Table of Contents_________________1 0:00:00 Introduction2 0:01:43 Sticker Shock3 0:15:17 Sponsor: Loving Hands Crochet4 0:18:11 Costs keep going up5 0:41:19 Alan Turing finally pardoned6 CopyrightOriginally posted at http://youtu.be/S98ov4lhgxE1 0:00:00 Introduction======================  Welcome to Music Free Static...
Keywords: politics; conservative; libertarian; Colorado; ObamaCare; Alan Turing
Downloads: 8
[texts]Universal Grammar Is a Universal Grammar - Ramón Casares
Is Universal Grammar a universal grammar? From Chomsky's hierarchy we deduce that for each grammar there is a Turing machine, and conversely. Following this equivalence, it is immediate to conclude that a universal Turing machine is equivalent to a universal grammar. Meanwhile, in linguistics, Universal Grammar is the human brain circuitry that implements the faculty of language. So the definitive answer is achieved only when we show that the human brain is Turing complete, and that language use...
Keywords: Universal Grammar; Turing completeness; language evolution
Downloads: 13
[audio]Metadata – a wartime drama - Cory Doctorow
In this week's podcast, I read aloud a recent Guardian column, "Metadata – a wartime drama":http://www.theguardian.com/technology/2013/jul/05/metadata-wartime-drama-privacyWhich imagines a dialog between Alan Turing and Winston Churchill that might have taken place if the UK Home Secretary Theresa May had been Turing's line-manager"All we can tell with this analysis is who is speaking, what equipment they use to speak, whom else they speak to, who the messages are addressed to, the subject of ...
Keywords: podcasts; metadata; spooks; nsa; turing; bletchleypark; crypto
Downloads: 13,235
[texts]The recursive nature of descriptions : a fixed point (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 708) - Peterson, Larry J
"BCL no. 252."
Keywords: Recursion theory; Pattern recognition systems; Turing machines
Downloads: 51
[movies]1998 ACM Turing Award Lecture at CSCW98 - ACM
Doug Engelbart's ACM Turing Award Lecture presented at the 1998 ACM Conference on Computer-Supported Cooperative Work, in Seattle, WA, November 16, 1998. Doug is introduced by Saul Greenberg beginning at 02:45, shows footage from the 1968 Demo, then formally introduces Doug at 14:20, who appears at 17:05. Doug's talk is titled "Bootstrapping Our Collective Intelligence". His slides from Bootstrap "Paradigm Map" are not captured on the video.
Keywords: Presentation, Award, Engelbart ACM Turing Award Lecture
Downloads: 469
[audio]Podcast Irreductible 34 - Alan Turing - Javi Pelaez
La Aldea Irreductible - Podcast Irreductible 34 - Alan Turing
Keywords: alan; turing; podcast; irreductible; aldea; historia; ciencia
Downloads: 18,856
[texts]mit :: lcs :: tm :: MIT-LCS-TM-039
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-039
Keywords: computable; polynomial; theorem; turing; computing; binary; remark; iff; expression; expressions; open problems; turing machine; computable function
Downloads: 33
[texts]mit :: ai :: aim :: AIM-1670
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-1670
Keywords: turing; diffusion; transduction; activator; signal; reactions; extracellular; patterns; molecules; messenger; cell membrane; biological pattern; signal transduction; turing mechanism; turing patterns; diffusion coefficients; pattern formation; messenger molecules
Downloads: 26
[audio]Two Rambling Idiots Podcast - J&K Productions
Recorded June 23, 2012 In this episode of Ghost Hunters... oops, wrong show. In this episode of the Two Rambling Idiots Podcast, Joe and Kevin talk at length about the Microsoft Surface and sprinkle in a little bit of iPhone 5 news. There's also a link to a hippy, trippy, dippy Slinky video in the show notes. And for spending more than half of the show editorializing about the MS Surface, there are a LOT of other links to be shared...
Keywords: rambling; idiots; microsoft; surface; apple; iphone; turing; slinky; linkedin
Downloads: 47
[texts]Gu Test: A Measurement of Generic Intelligence - Scott Lifan Gu
The second version of the paper Gu Test: A Measurement of Generic Intelligence
Keywords: Gu Turing Test Machine AI Intelligence Measurement Knowledge
Downloads: 30
[texts]mit :: lcs :: tm :: MIT-LCS-TM-045
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-045
Keywords: multiplication; digits; turing; lemma; multitape; algorithm; integer; log; turing machine; machine; requires time; procedural argument; multitape turing; multiplication algorithm; integer multiplication; steps required; turing machines; output digit; linear product
Downloads: 22
[movies]Physical_EQ - Nicolas Gravel, Fransisco Oltra
mic>processing+minim/fft>bytes>arduino>i2c>ZX16relayBoard
Keywords: Homenaje a Alan Turing; Artistas Amistosos de Neukolln; LaMe>>>
Downloads: 67
[texts]34
In this paper, we present a new way to simulateTuring machines using a specific form of Petri nets such thatthe resulting nets are capable of thoroughly describingbehavior of the input Turing machines. We model everyelement of a Turing machine’s tuple (i.e., Q, Γ, b, Σ, δ, q0, F) withan equivalent translation in Colored Petri net’s set of elementswith priority transitions such that the resulting translation(is a Petri net that) accepts the same language as the originalTuring machine...
Keywords: Turing machine; Colored Petri net; simulate; priority transition; time Complexity
Downloads: 9
[texts]Gu Test: A Measurement of Generic Intelligence - Scott Lifan Gu
The second version for the paper Gu Test: A Measurement of Generic Intelligence
Keywords: Gu Turing Test Machine AI Measurement Knowledge Intelligence
Downloads: 72
[texts]mit :: lcs :: tm :: MIT-LCS-TM-037
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-037
Keywords: floor; node; turing; simulation; storage; nodes; multidimensional; smm; arcs; head; ground floor; turing machine; turing machines; top floor; storage modification; storage plane; storage head; multidimensional turing; modification machines; massachusetts institute
Downloads: 54 (1 review)
[texts]Hydrogen-Oxygen PEM Regenerative Fuel Cell Development at the NASA Glenn Research Center - Bents, David J.
The closed-cycle hydrogen-oxygen PEM regenerative fuel cell (RFC) at the NASA Glenn Research Center has successfully demonstrated closed cycle operation at rated power for multiple charge-discharge cycles. During charge cycle the RFC has absorbed input electrical power simulating a solar day cycle ranging from zero to 15 kWe peak, and delivered steady 5 kWe output power for periods exceeding 8 hr. Orderly transitions from charge to discharge mode, and return to charging after full discharge, hav...
Keywords: TOPOLOGY; TURING MACHINES; MANIFOLDS (MATHEMATICS); COMPUTATION; PROVING; CLASSIFICATIONS
Downloads: 143
[texts]Faster Than Thought - B.V. Bowden ( ed.)
B.V. Bowden ( ed.) Faster Than Thought ( A Symposium on Digital Computing Machines ) Sir Isaac Pitman & Sons Ltd. 1953 A history of computing with a paper contributed by Alan Turing, but no mention of âColossusâ or Tommy Flowers, as Bletchley Park was still classified then. Acrobat 7 Pdf 74.9 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Computing; History of Computers; Electronic Computing Machines; Turing; Applications
Downloads: 681
[texts]mit :: lcs :: tm :: MIT-LCS-TM-040
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-040
Keywords: log; overlap; multiplication; turing; binary; multitape; input; bounds; values; symbol; input symbol; time complexity; multitape turing; lower bounds; lower bound; storage structure; turing machines; upper bounds; turing machine; multihead multitape
Downloads: 22
[texts]The World of Mathematics Volume 4 - James R. Newman
James R. Newman The World of Mathematics Volume 4 George Allen & Unwin 1956 Acrobat 7 Pdf 25.1 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Essays; Poincare; Von Neumann; Turing; Birkhoff; Puzzles
Downloads: 1,778
[texts]The Theory of Groups - Joseph J. Rotman
Joseph J. Rotman The Theory of Groups Allyn & Bacon Inc. 1973 Acrobat 7 Pdf 11.7 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Homomorphism; Isomorphism; Permutation; Sylow; Abelian; Group; Turing Machine
Downloads: 1,652
[texts]GuTestV3 - Scott Lifan Gu
The 3rd version of Gu Test: A Measurement of Generic Intelligence
Keywords: Gu Turing Test AI Measurement knowledge intelligence data
Downloads: 109
[texts]mit :: ai :: aim :: AIM-052
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-052
Keywords: turing; machine; tag; scanning; description; system; instantaneous; string; associated; formalism; turing machine; tag system; scanning agent; instantaneous description
Downloads: 23
[texts]mit :: lcs :: tm :: MIT-LCS-TM-038
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-038
Keywords: turing; polynomial; space; computation; eff; wsis; lemma; finite; machine; halts; simulation lemma; monadic second; turing machine; decision procedure; tape squares; weak monadic; nondeterministic turing; second order; order theory; eff empty
Downloads: 34
[texts]mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55
Keywords: machine; symbol; cell; boolean; symbols; holds; cells; turing; universal; scanned; active determinant; universal machine; turing machine; air force; boolean algebra; logical structure; transition diagram; universal turing; scanned symbol; active quadruple
Downloads: 17
[texts]mit :: lcs :: tr :: MIT-LCS-TR-242
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-242
Keywords: vertices; log; turing; machine; lemma; space; simulation; worktape; simulated; pebbles; storage list; multidimensional turing; turing machine; free storage; worktape head; time complexity; tree machine; mass store; relative position; memory map
Downloads: 32
[audio]Dos Time Live - Episode 17 Rev A - Get In The Choppa - DosTimeLive Studios
Angry cars, EA + DRM = Fail, LEGO anatomy, the Halo gene and the turing test. All this and more on this episode of Dos Time Live!
Keywords: web comics; geek; tech news; BSG; Prius; BMW; EA; Activision; Blizzard; Chimpanzee; LEGO; anatomy; Ghostbusterrs; Turing; Turing Test; Starcraft; Starcraft 2; Portal
Downloads: 67
[texts]Cost averaging techniques for robust control of flexible structural systems - Hagood, Nesbitt W.
Viewgraphs on cost averaging techniques for robust control of flexible structural systems are presented. Topics covered include: modeling of parameterized systems; average cost analysis; reduction of parameterized systems; and static and dynamic controller synthesis.
Keywords: ECONOMIC ANALYSIS; ROBOTS; ECONOMICS; ECONOMY; POLICIES; THEOREM PROVING; TURING MACHINES; FORECASTING; HYPOTHESES; RECURSIVE FUNCTIONS
Downloads: 67
[texts]Method for generating ultra-precise angles Patent - Appler, R. L
Optical device containing rotatable prism and reflecting mirror for generating precise angles
Keywords: COMPUTER PROGRAMMING; LOGICAL ELEMENTS; TURING MACHINES; COMPUTATION; FUNCTIONS (MATHEMATICS); NUMERICAL ANALYSIS
Downloads: 79
[audio]El_Explicador_2012_02_23 - El fallo de los neutrinos "ultralumínicos" - Protección de areas naturales - Alan Turing - Tugsteno...
Grabación del Programa "El Explicador" de Enrique Ganem emitido en MVS el 23/02/2.012 --- EN ESTA EMISIÓN: * En este "jueves editorial" Enrique explica los tipos y características de las diferentes revistas científicas, y hace algunos comentarios acerca de varios artículos publicados relacionados con la siguiente temática: > El posible fallo de los neutrinos "ultralumínicos" en el experimento OPERA del CERN...
Keywords: Enrique Ganem, ciencia, divulgacion, física, neutrinos, naturaleza, coral, geología, historia, turing
Downloads: 1,046
[audio]traveling nude as Alan Turing? - osvaldo cibils
recorded by: osvaldo cibils title soundart: traveling nude as Alan Turing? author sound: Cunetzio? turkish resident. Via Trieste, 38 - second floor - Rovereto(TN) - Italy mp3 - 00:34 - 2009 osvaldo cibils http://osvaldocibils.com (contributed for TheROOM installation by o.blaat, 2009 at Medien Kultur Haus, Wels, Austria)
Keywords: osvaldo cibils; Alan Turing; TheROOM; o.blaat; Medien Kultur Haus; Wels
Downloads: 81
[texts]Plasmaspheric Helium Ion Distribution from Satellite Observations of HeII 304 A - Chiu, Y. T.
High sensitivity and spatial resolution observations of the He(2)II-304 A emission line intensity in the Earth's nightglow have been carried out by the extreme ultraviolet telescope on the Apollo-Soyuz mission in July 1975. The data, obtained over a wide range of parameters, are compared with the predictions of a kinetic equilibrium model of plasmaspheric ion density. Excellent overall agreement observation and theory is found using as inputs a temperature model, solar flux, and H and O number d...
Keywords: COMPUTER PROGRAMMING; OPERATING SYSTEMS (COMPUTERS); PROGRAM VERIFICATION (COMPUTERS); TURING MACHINES; HIERARCHIES; METRICATION; REGRESSION ANALYSIS
Downloads: 78
[texts]Laminarization of Turbulent Boundary Layer on Flexible and Rigid Surfaces - Maestrello, Luci
An investigation of the control of turbulent boundary layer flow over flexible and rigid surfaces downstream of a concave-convex geometry has been made. The concave-convex curvature induces centrifugal forces and a pressure gradient on the growth of the turbulent boundary layer. The favorable gradient is not sufficient to overcome the unfavorable; thus, the net effect is a destabilizing, of the flow into Gortler instabilities...
Keywords: COMPUTER TECHNIQUES; COMPUTERS; ALGORITHMS; COMPUTER SYSTEMS PERFORMANCE; TURING MACHINES; ERROR CORRECTING CODES; HAMILTONIAN FUNCTIONS
Downloads: 137
[movies]Introduction to A.I.: Artificial Intelligence (six-minutes video) - Meaning and conceptions, the Turing test, practical applications of AI techniques - Francesco Galgani
Introduction to A.I.: Artificial Intelligence (six-minutes video)Meaning and conceptions, the Turing test, practical applications of AI techniquesThere are several questions:What does artificial intelligence mean?Can a computer talk?Can a computer understand what you ask to it?Can a computer "copy human behaviours" or "think rationally as humans"?What do "strong artificial intelligence" and "weak artificial intelligence" mean?What is the Turing test?Are there practical applications of AI techniq...
Keywords: A.I; artificial intelligence; video; robot; turing; applications; chatbot; behaviours; definition; talking; understanding
Downloads: 18
[texts]mit :: lcs :: tr :: MIT-LCS-TR-235
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-235
Keywords: recursive; probability; sequence; sequences; independence; theorem; random; theory; properties; turing; constant factor; total recursive; probability theory; recursive measure; turing degrees; independence principle; random process; second order; probability distribution; recursive function
Downloads: 32
[1] 2 3     Next    Last
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
audio
movies